Reasoning about Knowledge and Strategies: Epistemic Strategy Logic
نویسنده
چکیده
In this paper we introduce Epistemic Strategy Logic (ESL), an extension of Strategy Logic with modal operators for individual knowledge. This enhanced framework allows us to represent explicitly and to reason about the knowledge agents have of their own and other agents’ strategies. We provide a semantics to ESL in terms of epistemic concurrent game models, and consider the corresponding model checking problem. We show that the complexity of model checking ESL is not worse than (non-epistemic) Strategy Logic.
منابع مشابه
A Logic of Knowledge and Strategies with Imperfect Information
In this paper we put forward Epistemic Strategy Logic (ESL), a logic of knowledge and strategies in contexts of imperfect information. ESL extends Strategy Logic by adding modal operators for individual and collective knowledge. This enhanced framework allows us to represent explicitly and to reason about the knowledge agents have of their own and other agents’ strategies. We provide a semantic...
متن کاملAn Epistemic Strategy Logic
The paper presents an extension of temporal epistemic logic with operators that quantify over agent strategies. Unlike previous work on alternating temporal epistemic logic, the semantics works with systems whose states explicitly encode the strategy being used by each of the agents. This provides a natural way to express what agents would know were they to be aware of the strategies being used...
متن کاملAn Epistemic Strategy Logic ( Extended
There are many subtle issues concerning agent knowledge in settings where multiple agents act strategically. In the process of understanding these issues, there has been a proliferation of modal logics dealing with epistemic reasoning in strategic settings, e.g., [7, 8, 4]. The trend has been for these logics to contain large numbers of operators each of which combines several different concern...
متن کاملA Modal Logic of Epistemic Games
We propose some variants of a multi-modal logic of joint action, preference and knowledge that support reasoning about epistemic games in strategic form. The first part of the paper deals with games with complete information. We first provide syntactic proofs of some theorems that are well-known in the area of interactive epistemology and that specify some sufficient epistemic conditions of equ...
متن کاملSyntactic Knowledge: A Logic of Reasoning, Communication and Cooperation
This paper presents a logic for reasoning about the explicit knowledge of agents who represent their knowledge as finite sets of logical formulae, and who can change their knowledge by reasoning and communicating. No assumptions about closure or consistency conditions on the sets, or about soundness or completeness of the reasoning mechanisms, are made. Traditional epistemic logic, based on mod...
متن کامل